perm filename SIMP2[1,JRA] blob sn#005886 filedate 1972-09-29 generic text, type T, neo UTF8
00100	E(F(X1 X1) I);
00200	E(F(X1 I) X1);
00300	E(F(I F(X1 X2)) F(X2 X1));
00500	E(F(F(X1 X7), F(I,F(X7 X1))) I);
00600	;